# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 196.25ex; vertical-align: -3.08ex; " SRC="|."$dir".q|img1.png"
 ALT="\begin{codexenv}
\begin{tabular}{lll}
-2102 &amp; $\Longrightarrow$ &amp; -2102 \\\\
{\...
''A string.'' &amp; $\Longrightarrow$ &amp; ''A string.''
\end{tabular} \end{codexenv}">|; 
$key = q/Longrightarrow;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 6.78ex; vertical-align: 172.38ex; " SRC="|."$dir".q|img2.png"
 ALT="$\Longrightarrow$">|;